منابع مشابه
Playing with Maude
This paper is an introduction to rule-based programming in Maude. We illustrate in particular the use of operator attributes to structure the state of a system, and the difference between equations and rules. We use well-known mathematical games and puzzles for our examples illustrating the expressive power of Maude.
متن کاملPlaying with Rules
In this paper we revisit Logic Programming under the answer-set semantics or Answer-Set Programming and its extension Evolving Logic Programming, two languages that use logic rules and rule updates and exhibit characteristics that make them suitable to be used for knowledge representation and reasoning within Agent Oriented Programming Languages. We illustrate the power of these rule based lang...
متن کاملPlaying with Data Bases
Among the specific forms of rationality that are to be analyzed with regards to games are the control circuit, the simulation and the data base. As different cultural forms of the computer’s conveyed mediality they represent intermediate elements between the calculating, programmable machine and the cultural grammar of its handling as well as its social implementation, between ‘hard’ technology...
متن کاملPlaying with Triangulations
We analyze several perfect-information combinatorial games played on planar triangulations. We introduce three broad categories of such games: constructing, transforming, and marking triangulations. In various situations, we develop polynomial-time algorithms to determine who wins a given game under optimal play, and to find a winning strategy. Along the way, we show connections to existing com...
متن کاملPlaying With Population Protocols
Population protocols have been introduced as a model of sensor networks consisting of very limited mobile agents with no control over their own movement: A collection of anonymous agents, modeled by finite automata, interact in pairs according to some rules. Predicates on the initial configurations that can be computed by such protocols have been characterized under several hypotheses. We discu...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Science-Business eXchange
سال: 2009
ISSN: 1945-3477
DOI: 10.1038/scibx.2009.215